A Theory of Nested Speculative Execution
نویسندگان
چکیده
Implementing distributed applications is a challenging task. Developers of such systems are confronted with issues like fault-tolerance, efficient synchronization mechanisms, and the correctness of the distributed code. This paper introduces a new programming model based on speculative execution that addresses these issues. Speculations provide distributed atomic rollback and enable optimistic execution of synchronization points. We present an operational semantics for nested speculative execution and synthetic benchmarks to illustrate the low overhead of speculations.
منابع مشابه
Speculation to Increase the Concurrency of Nested Transactions
We have proposed an improved concurrency control protocol for nested transactions based on speculation. In the proposed speculative nested locking (SNL) protocol, whenever a sub-transaction finishes work with a data object (produces after-image), it's parent inherits the lock. The waiting sub-transaction carries out speculative executions by accessing both beforeand after-images of preceding su...
متن کاملSpeculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions
In this paper, we have proposed improved concurrency control protocol based on speculation for nested transuctions and explained how it increases both intraand intertransaction concurrency as compared to Mo.s.s's nested locking protocol. I n the proposed speculative nested locking (SNL) protocol, whenever a sub-trunsuctinn finishes work with a data object (produces after-image), it's purent inh...
متن کاملTowards a new model of speculative bubbles: nonparametric test with an application to the Tunisian Stock Index
Bubbles in asset prices have fascinated researchers in finance. Identify asset bubbles, by circumstances, on the stock market has been a growing number of research theoretical and empirical. On a theoretical level, it was assumed that the price dynamics reflect irrational behavior of economic agents and, therefore, should be excluded from a deal with the truly rational economic agents Burmeiste...
متن کاملA speculative execution approach to provide semantically aware contention management for concurrent systems
Most modern platforms offer ample potention for parallel execution of concurrent programs yet concurrency control is required to exploit parallelism while maintaining program correctness. Pessimistic concurrency control featuring blocking synchronization and mutual exclusion, has given way to transactional memory, which allows the composition of concurrent code in a manner more intuitive for th...
متن کاملMcGill University School of Computer Science Sable Research Group Memory Abstractions for Speculative Multithreading
Speculative multithreading is a promising technique for automatic parallelization. However, our experience with a software implementation indicates that there is significant overhead involved in managing the heap memory internal to the speculative system and significant complexity in correctly managing the call stack memory used by speculative tasks. We first describe a specialized heap managem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007